logo

gemini-tickets

Unnamed repository; edit this file 'description' to name the repository. git clone https://anongit.hacktivis.me/git/gemini-tickets.git/

2020-12-07T15:58:04 Make search case-insensitive.gmi (160B)


  1. Status: confirmed
  2. Assigned-to: lanodan
  3. Milestone: 1.1.0
  4. Currently case is sensitive in web page search, unsure if it's a WebKitGTK bug or not, IIRC it is one.